Skip to main content

OSCW 2024 - Franziskus Kiefer - Cryptography with Formal Guarantees using Hax

Video Item Preview

play8?>>
movies

OSCW 2024 - Franziskus Kiefer - Cryptography with Formal Guarantees using Hax

by
Franziskus Kiefer

Publication date
Usage
Attribution-NonCommercial-NoDerivs 4.0 InternationalCreative Commons Licensebyncnd
Topics
oscw2024, oscw, opensourcecryptoworkshop, cryptography, f-star, hacs, hax, formal verification
Language
English
Item Size
383.6M
Resource: https://github.com/hacspec/hax/tree/franziskus/toronto-2024/examples#before-the-workshop
Addeddate
2024-03-31 23:02:50
Color
color
Identifier
oscw-2024-franziskus-kiefer-hax
Scanner
Internet Archive HTML5 Uploader 1.7.0
Sound
sound
Year
2024


comment
Reviews

There are no reviews yet. Be the first one to .

61 Views

DOWNLOAD OPTIONS

download 1 file
ITEM TILE download
download 1 file
MPEG4 download
download 1 file
TORRENT download
download 44 Files
download 6 Original
SHOW ALL

IN COLLECTIONS

Community Video

Uploaded by opensourcecryptoworkshop on

SIMILAR ITEMS (based on metadata)

Terms of Service (last updated 12/31/2014)